Documentacion: Notify Incoming Email

Descripcion: Agent mental state to consider the Notify Incoming Email goal satisfied or failed.

The goal establishes that when there is new e-mail, the system has to begin the actions to classify and move it. This request is represented by the NewEmailArrived event. When the notification process has finished, the system asserts the EmailToClassify fact. If it is not done, the system has failed the goal.


Instancias de entidades de meta-modelo

EntidadEntidad del meta-modeloDocumentacion
EmailOrganizer 
 Agente  It represents the agent which manages the email in the system. It is related with an EmailWrapper. 
(EmailOrganiser ejecutor) 
 AgenteConcreto   
Fail Notify Incoming Email 
 EstadoMentalCondicionado  The Notify Incoming Email goal has been failed. 
Success Notify Incoming Email 
 EstadoMentalCondicionado  The Notify Incoming Email goal has been satisfied. 
NewMailArrived 
 EventoAplicacionSlots  Event triggered by the EmailWrapper when there is new incoming email. 
EmailToClassify 
 Hecho  Email to be classified.
It has four attributes: the e-mail owner (user), the folder in which is the e-mail, the e-mail id in the system, and the e-mail document. 

EmailOrganizer (Agente)

Propiedades:
IDEmailOrganizer 
DescripcionIt represents the agent which manages the email in the system. It is related with an EmailWrapper. 

Relaciones:
En el rolEn la relacion Otros extremos
RInstanciaDeD InstanciaDe 
Con los objetosEn el rol
(EmailOrganiser ejecutor)  RinstanciaDeO

(EmailOrganiser ejecutor) (AgenteConcreto)

Propiedades:
ID(EmailOrganiser ejecutor) 

Relaciones:
En el rolEn la relacion Otros extremos
ATieneEstadoMentalOR ATieneEstadoMental 
Con los objetosEn el rol
Success Notify Incoming Email  ATieneEstadoMentalDR
ATieneEstadoMentalOR ATieneEstadoMental 
Con los objetosEn el rol
Fail Notify Incoming Email  ATieneEstadoMentalDR
RinstanciaDeO InstanciaDe 
Con los objetosEn el rol
EmailOrganizer  RInstanciaDeD

Fail Notify Incoming Email (EstadoMentalCondicionado)

Propiedades:
IDFail Notify Incoming Email 
DescripcionThe Notify Incoming Email goal has been failed. 
Descripcionevent.mailID = email.mailID 

Relaciones:
En el rolEn la relacion Otros extremos
AContieneEntidadMentalOR ANoContieneEntidadMental 
Con los objetosEn el rol
EmailToClassify  AContieneEntidadMentalDR
AContieneEntidadMentalOR AContieneEntidadMental 
Con los objetosEn el rol
NewMailArrived  AContieneEntidadMentalDR
ATieneEstadoMentalDR ATieneEstadoMental 
Con los objetosEn el rol
(EmailOrganiser ejecutor)  ATieneEstadoMentalOR

Success Notify Incoming Email (EstadoMentalCondicionado)

Propiedades:
IDSuccess Notify Incoming Email 
DescripcionThe Notify Incoming Email goal has been satisfied. 
Descripcionevent.mailID = email.mailID 

Relaciones:
En el rolEn la relacion Otros extremos
AContieneEntidadMentalOR AContieneEntidadMental 
Con los objetosEn el rol
NewMailArrived  AContieneEntidadMentalDR
AContieneEntidadMentalOR AContieneEntidadMental 
Con los objetosEn el rol
EmailToClassify  AContieneEntidadMentalDR
ATieneEstadoMentalDR ATieneEstadoMental 
Con los objetosEn el rol
(EmailOrganiser ejecutor)  ATieneEstadoMentalOR

NewMailArrived (EventoAplicacionSlots)

Propiedades:
IDNewMailArrived 
DescripcionEvent triggered by the EmailWrapper when there is new incoming email. 
slotsuser folder mailID  

Relaciones:
En el rolEn la relacion Otros extremos
AContieneEntidadMentalDR AContieneEntidadMental 
Con los objetosEn el rol
Success Notify Incoming Email  AContieneEntidadMentalOR
AContieneEntidadMentalDR AContieneEntidadMental 
Con los objetosEn el rol
Fail Notify Incoming Email  AContieneEntidadMentalOR

EmailToClassify (Hecho)

Propiedades:
IDEmailToClassify 
DescripcionEmail to be classified.
It has four attributes: the e-mail owner (user), the folder in which is the e-mail, the e-mail id in the system, and the e-mail document. 
slotsuser folder mailID mail  

Relaciones:
En el rolEn la relacion Otros extremos
AContieneEntidadMentalDR AContieneEntidadMental 
Con los objetosEn el rol
Success Notify Incoming Email  AContieneEntidadMentalOR
AContieneEntidadMentalDR ANoContieneEntidadMental 
Con los objetosEn el rol
Fail Notify Incoming Email  AContieneEntidadMentalOR